H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 10.137 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ IFR

mainModule Main

((realToFrac :: Int -> Ratio Int) :: Int -> Ratio Int)

module Main where

import qualified Prelude

If Reductions:
The following If expression

if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero

is transformed to

primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y))

primDivNatS0 x y False = Zero

The following If expression

if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x

is transformed to

primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y)

primModNatS0 x y False = Succ x

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

mainModule Main

((realToFrac :: Int -> Ratio Int) :: Int -> Ratio Int)

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

mainModule Main

((realToFrac :: Int -> Ratio Int) :: Int -> Ratio Int)

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

gcd' x 0 = x

gcd' x y = gcd' y (x `rem` y)

is transformed to

gcd' x xz = gcd'2 x xz

gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x xz = x

gcd'1 yu yv yw = gcd'0 yv yw

gcd'2 x xz = gcd'1 (xz == 0) x xz

gcd'2 yx yy = gcd'0 yx yy

The following Function with conditions

gcd 0 0 = error []

gcd x y =

gcd' (abs x) (abs y)

where

gcd' x 0 = x

gcd' x y = gcd' y (x `rem` y)

is transformed to

gcd yz zu = gcd3 yz zu

gcd x y = gcd0 x y

gcd0 x y =

gcd' (abs x) (abs y)

where

gcd' x xz = gcd'2 x xz

gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x xz = x

gcd'1 yu yv yw = gcd'0 yv yw

gcd'2 x xz = gcd'1 (xz == 0) x xz

gcd'2 yx yy = gcd'0 yx yy

gcd1 True yz zu = error []

gcd1 zv zw zx = gcd0 zw zx

gcd2 True yz zu = gcd1 (zu == 0) yz zu

gcd2 zy zz vuu = gcd0 zz vuu

gcd3 yz zu = gcd2 (yz == 0) yz zu

gcd3 vuv vuw = gcd0 vuv vuw

The following Function with conditions

absReal x

| x >= 0

= x

| otherwise

= `negate` x

is transformed to

absReal x = absReal2 x

absReal0 x True = `negate` x

absReal1 x True = x

absReal1 x False = absReal0 x otherwise

absReal2 x = absReal1 x (x >= 0)

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

The following Function with conditions

reduce x y

| y == 0

= error []

| otherwise

= x `quot` d :% (y `quot` d)

where

d = gcd x y

is transformed to

reduce x y = reduce2 x y

reduce2 x y =

reduce1 x y (y == 0)

where

d = gcd x y

reduce0 x y True = x `quot` d :% (y `quot` d)

reduce1 x y True = error []

reduce1 x y False = reduce0 x y otherwise

The following Function with conditions

signumReal x

| x == 0

= 0

| x > 0

= 1

| otherwise

= -1

is transformed to

signumReal x = signumReal3 x

signumReal2 x True = 0

signumReal2 x False = signumReal1 x (x > 0)

signumReal0 x True = -1

signumReal1 x True = 1

signumReal1 x False = signumReal0 x otherwise

signumReal3 x = signumReal2 x (x == 0)

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

mainModule Main

((realToFrac :: Int -> Ratio Int) :: Int -> Ratio Int)

module Main where

import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

reduce1 x y (y == 0)

where

d = gcd x y

reduce0 x y True = x `quot` d :% (y `quot` d)

reduce1 x y True = error []

reduce1 x y False = reduce0 x y otherwise

are unpacked to the following functions on top level

reduce2Reduce1 vux vuy x y True = error []

reduce2Reduce1 vux vuy x y False = reduce2Reduce0 vux vuy x y otherwise

reduce2D vux vuy = gcd vux vuy

reduce2Reduce0 vux vuy x y True = x `quot` reduce2D vux vuy :% (y `quot` reduce2D vux vuy)

The bindings of the following Let/Where expression

gcd' (abs x) (abs y)

where

gcd' x xz = gcd'2 x xz

gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x xz = x

gcd'1 yu yv yw = gcd'0 yv yw

gcd'2 x xz = gcd'1 (xz == 0) x xz

gcd'2 yx yy = gcd'0 yx yy

are unpacked to the following functions on top level

gcd0Gcd' x xz = gcd0Gcd'2 x xz

gcd0Gcd' x y = gcd0Gcd'0 x y

gcd0Gcd'1 True x xz = x

gcd0Gcd'1 yu yv yw = gcd0Gcd'0 yv yw

gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y)

gcd0Gcd'2 x xz = gcd0Gcd'1 (xz == 0) x xz

gcd0Gcd'2 yx yy = gcd0Gcd'0 yx yy

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

mainModule Main

((realToFrac :: Int -> Ratio Int) :: Int -> Ratio Int)

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

mainModule Main

(realToFrac :: Int -> Ratio Int)

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="realToFrac",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="realToFrac vuz3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
4[label="fromRational . toRational",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="fromRational (toRational vuz3)",fontsize=16,color="black",shape="box"];5 -> 965[label="",style="solid", color="black", weight=3];
965 -> 895[label="",style="dashed", color="red", weight=0];
965[label="fromRational (toInteger vuz3 % fromInt (Pos (Succ Zero)))",fontsize=16,color="magenta"];965 -> 1239[label="",style="dashed", color="magenta", weight=3];
1239 -> 892[label="",style="dashed", color="red", weight=0];
1239[label="toInteger vuz3 % fromInt (Pos (Succ Zero))",fontsize=16,color="magenta"];895[label="fromRational vuz30\n  Integral a",fontsize=16,color="burlywood",shape="triangle"];3125[label="vuz30/vuz300 :% vuz301",fontsize=10,color="white",style="solid",shape="box"];895 -> 3125[label="",style="solid", color="burlywood", weight=9];
3125 -> 1169[label="",style="solid", color="burlywood", weight=3];
892[label="toInteger vuz3 % fromInt (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];892 -> 896[label="",style="solid", color="black", weight=3];
1169[label="fromRational (vuz300 :% vuz301)\n  Integral a",fontsize=16,color="black",shape="box"];1169 -> 1441[label="",style="solid", color="black", weight=3];
896[label="reduce (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];896 -> 1170[label="",style="solid", color="black", weight=3];
1441[label="fromInteger vuz300 :% fromInteger vuz301\n  Integral a",fontsize=16,color="green",shape="box"];1441 -> 1936[label="",style="dashed", color="green", weight=3];
1441 -> 1937[label="",style="dashed", color="green", weight=3];
1170[label="reduce2 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1170 -> 1442[label="",style="solid", color="black", weight=3];
1936[label="fromInteger vuz300\n  Integral a",fontsize=16,color="blue",shape="box"];3126[label="fromInteger :: Integer -> Int",fontsize=10,color="white",style="solid",shape="box"];1936 -> 3126[label="",style="solid", color="blue", weight=9];
3126 -> 2247[label="",style="solid", color="blue", weight=3];
3127[label="fromInteger :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];1936 -> 3127[label="",style="solid", color="blue", weight=9];
3127 -> 2248[label="",style="solid", color="blue", weight=3];
1937[label="fromInteger vuz301\n  Integral a",fontsize=16,color="blue",shape="box"];3128[label="fromInteger :: Integer -> Int",fontsize=10,color="white",style="solid",shape="box"];1937 -> 3128[label="",style="solid", color="blue", weight=9];
3128 -> 2249[label="",style="solid", color="blue", weight=3];
3129[label="fromInteger :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];1937 -> 3129[label="",style="solid", color="blue", weight=9];
3129 -> 2250[label="",style="solid", color="blue", weight=3];
1442 -> 1287[label="",style="dashed", color="red", weight=0];
1442[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="magenta"];2247[label="fromInteger vuz300",fontsize=16,color="burlywood",shape="triangle"];3131[label="vuz300/Integer vuz3000",fontsize=10,color="white",style="solid",shape="box"];2247 -> 3131[label="",style="solid", color="burlywood", weight=9];
3131 -> 2265[label="",style="solid", color="burlywood", weight=3];
2248[label="fromInteger vuz300",fontsize=16,color="black",shape="triangle"];2248 -> 2266[label="",style="solid", color="black", weight=3];
2249 -> 2247[label="",style="dashed", color="red", weight=0];
2249[label="fromInteger vuz301",fontsize=16,color="magenta"];2249 -> 2267[label="",style="dashed", color="magenta", weight=3];
2250 -> 2248[label="",style="dashed", color="red", weight=0];
2250[label="fromInteger vuz301",fontsize=16,color="magenta"];2250 -> 2268[label="",style="dashed", color="magenta", weight=3];
1287[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1287 -> 1651[label="",style="solid", color="black", weight=3];
2265[label="fromInteger (Integer vuz3000)",fontsize=16,color="black",shape="box"];2265 -> 2271[label="",style="solid", color="black", weight=3];
2266[label="error []",fontsize=16,color="red",shape="box"];2267[label="vuz301",fontsize=16,color="green",shape="box"];2268[label="vuz301",fontsize=16,color="green",shape="box"];1651 -> 1384[label="",style="dashed", color="red", weight=0];
1651[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="magenta"];2271[label="vuz3000",fontsize=16,color="green",shape="box"];1384[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1384 -> 1828[label="",style="solid", color="black", weight=3];
1828 -> 1382[label="",style="dashed", color="red", weight=0];
1828[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1382[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1382 -> 1825[label="",style="solid", color="black", weight=3];
1825 -> 1208[label="",style="dashed", color="red", weight=0];
1825[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1208[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1208 -> 1507[label="",style="solid", color="black", weight=3];
1507 -> 1229[label="",style="dashed", color="red", weight=0];
1507[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT)) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT)) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1229[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT)) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT)) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1229 -> 1544[label="",style="solid", color="black", weight=3];
1544 -> 1174[label="",style="dashed", color="red", weight=0];
1544[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1174[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1174 -> 1449[label="",style="solid", color="black", weight=3];
1449 -> 1204[label="",style="dashed", color="red", weight=0];
1449[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1204[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1204 -> 1500[label="",style="solid", color="black", weight=3];
1500 -> 1432[label="",style="dashed", color="red", weight=0];
1500[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1432[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1432 -> 1920[label="",style="solid", color="black", weight=3];
1920 -> 1330[label="",style="dashed", color="red", weight=0];
1920[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1330[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1330 -> 1725[label="",style="solid", color="black", weight=3];
1725 -> 1328[label="",style="dashed", color="red", weight=0];
1725[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1328[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1328 -> 1722[label="",style="solid", color="black", weight=3];
1722 -> 1376[label="",style="dashed", color="red", weight=0];
1722[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1376[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1376 -> 1815[label="",style="solid", color="black", weight=3];
1815 -> 1268[label="",style="dashed", color="red", weight=0];
1815[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False)) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False)) (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1268[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False)) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False)) (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1268 -> 1616[label="",style="solid", color="black", weight=3];
1616 -> 1409[label="",style="dashed", color="red", weight=0];
1616[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True) (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero))",fontsize=16,color="magenta"];1409[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True) (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1409 -> 1875[label="",style="solid", color="black", weight=3];
1875 -> 1334[label="",style="dashed", color="red", weight=0];
1875[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))",fontsize=16,color="magenta"];1334[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="triangle"];1334 -> 1732[label="",style="solid", color="black", weight=3];
1732 -> 1379[label="",style="dashed", color="red", weight=0];
1732[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))",fontsize=16,color="magenta"];1379[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))",fontsize=16,color="black",shape="triangle"];1379 -> 1820[label="",style="solid", color="black", weight=3];
1820 -> 1248[label="",style="dashed", color="red", weight=0];
1820[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))",fontsize=16,color="magenta"];1248[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))",fontsize=16,color="black",shape="triangle"];1248 -> 1577[label="",style="solid", color="black", weight=3];
1577 -> 1276[label="",style="dashed", color="red", weight=0];
1577[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) False",fontsize=16,color="magenta"];1276[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) False",fontsize=16,color="black",shape="triangle"];1276 -> 1631[label="",style="solid", color="black", weight=3];
1631 -> 1440[label="",style="dashed", color="red", weight=0];
1631[label="reduce2Reduce0 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) otherwise",fontsize=16,color="magenta"];1440[label="reduce2Reduce0 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) otherwise",fontsize=16,color="black",shape="triangle"];1440 -> 1935[label="",style="solid", color="black", weight=3];
1935 -> 1286[label="",style="dashed", color="red", weight=0];
1935[label="reduce2Reduce0 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) True",fontsize=16,color="magenta"];1286[label="reduce2Reduce0 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) True",fontsize=16,color="black",shape="triangle"];1286 -> 1650[label="",style="solid", color="black", weight=3];
1650[label="toInteger vuz3 * signum (Integer (Pos (Succ Zero))) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) :% (Integer (Pos (Succ Zero)) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))))",fontsize=16,color="green",shape="box"];1650 -> 2075[label="",style="dashed", color="green", weight=3];
1650 -> 2076[label="",style="dashed", color="green", weight=3];
2075[label="toInteger vuz3 * signum (Integer (Pos (Succ Zero))) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2075 -> 2269[label="",style="solid", color="black", weight=3];
2076[label="Integer (Pos (Succ Zero)) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2076 -> 2270[label="",style="solid", color="black", weight=3];
2269[label="Integer vuz3 * signum (Integer (Pos (Succ Zero))) `quot` reduce2D (Integer vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2269 -> 2272[label="",style="solid", color="black", weight=3];
2270[label="Integer (Pos (Succ Zero)) `quot` gcd (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2270 -> 2273[label="",style="solid", color="black", weight=3];
2272[label="Integer vuz3 * signumReal (Integer (Pos (Succ Zero))) `quot` reduce2D (Integer vuz3 * signumReal (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2272 -> 2274[label="",style="solid", color="black", weight=3];
2273[label="Integer (Pos (Succ Zero)) `quot` gcd3 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2273 -> 2275[label="",style="solid", color="black", weight=3];
2274[label="Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero))) `quot` reduce2D (Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2274 -> 2276[label="",style="solid", color="black", weight=3];
2275[label="Integer (Pos (Succ Zero)) `quot` gcd2 (toInteger vuz3 * signum (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2275 -> 2277[label="",style="solid", color="black", weight=3];
2276[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2276 -> 2278[label="",style="solid", color="black", weight=3];
2277[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signum (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2277 -> 2279[label="",style="solid", color="black", weight=3];
2278[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2278 -> 2280[label="",style="solid", color="black", weight=3];
2279[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer vuz3 * signumReal (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2279 -> 2281[label="",style="solid", color="black", weight=3];
2280[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2280 -> 2282[label="",style="solid", color="black", weight=3];
2281[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2281 -> 2283[label="",style="solid", color="black", weight=3];
2282[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2282 -> 2284[label="",style="solid", color="black", weight=3];
2283[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2283 -> 2285[label="",style="solid", color="black", weight=3];
2284[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2284 -> 2286[label="",style="solid", color="black", weight=3];
2285[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2285 -> 2287[label="",style="solid", color="black", weight=3];
2286[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2286 -> 2288[label="",style="solid", color="black", weight=3];
2287[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2287 -> 2289[label="",style="solid", color="black", weight=3];
2288[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2288 -> 2290[label="",style="solid", color="black", weight=3];
2289[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2289 -> 2291[label="",style="solid", color="black", weight=3];
2290[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2290 -> 2292[label="",style="solid", color="black", weight=3];
2291[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2291 -> 2293[label="",style="solid", color="black", weight=3];
2292[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2292 -> 2294[label="",style="solid", color="black", weight=3];
2293[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2293 -> 2295[label="",style="solid", color="black", weight=3];
2294[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2294 -> 2296[label="",style="solid", color="black", weight=3];
2295[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2295 -> 2297[label="",style="solid", color="black", weight=3];
2296[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2296 -> 2298[label="",style="solid", color="black", weight=3];
2297[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2297 -> 2299[label="",style="solid", color="black", weight=3];
2298[label="Integer vuz3 * fromInt (Pos (Succ Zero)) `quot` reduce2D (Integer vuz3 * fromInt (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2298 -> 2300[label="",style="solid", color="black", weight=3];
2299[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2299 -> 2301[label="",style="solid", color="black", weight=3];
2300[label="Integer vuz3 * Integer (Pos (Succ Zero)) `quot` reduce2D (Integer vuz3 * Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2300 -> 2302[label="",style="solid", color="black", weight=3];
2301[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2301 -> 2303[label="",style="solid", color="black", weight=3];
2302[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` reduce2D (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2302 -> 2304[label="",style="solid", color="black", weight=3];
2303[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2303 -> 2305[label="",style="solid", color="black", weight=3];
2304[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2304 -> 2306[label="",style="solid", color="black", weight=3];
2305[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * fromInt (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer vuz3 * fromInt (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2305 -> 2307[label="",style="solid", color="black", weight=3];
2306[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd3 (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2306 -> 2308[label="",style="solid", color="black", weight=3];
2307[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer vuz3 * Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2307 -> 2309[label="",style="solid", color="black", weight=3];
2308[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2308 -> 2310[label="",style="solid", color="black", weight=3];
2309[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2309 -> 2311[label="",style="solid", color="black", weight=3];
2310[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2310 -> 2312[label="",style="solid", color="black", weight=3];
2311[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2311 -> 2313[label="",style="solid", color="black", weight=3];
2312[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd2 (primEqInt (primMulInt vuz3 (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];3152[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];2312 -> 3152[label="",style="solid", color="burlywood", weight=9];
3152 -> 2314[label="",style="solid", color="burlywood", weight=3];
3153[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];2312 -> 3153[label="",style="solid", color="burlywood", weight=9];
3153 -> 2315[label="",style="solid", color="burlywood", weight=3];
2313[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (primMulInt vuz3 (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];3154[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];2313 -> 3154[label="",style="solid", color="burlywood", weight=9];
3154 -> 2316[label="",style="solid", color="burlywood", weight=3];
3155[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];2313 -> 3155[label="",style="solid", color="burlywood", weight=9];
3155 -> 2317[label="",style="solid", color="burlywood", weight=3];
2314[label="Integer (primMulInt (Pos vuz30) (Pos (Succ Zero))) `quot` gcd2 (primEqInt (primMulInt (Pos vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Pos vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2314 -> 2318[label="",style="solid", color="black", weight=3];
2315[label="Integer (primMulInt (Neg vuz30) (Pos (Succ Zero))) `quot` gcd2 (primEqInt (primMulInt (Neg vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Neg vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2315 -> 2319[label="",style="solid", color="black", weight=3];
2316[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (primMulInt (Pos vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Pos vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2316 -> 2320[label="",style="solid", color="black", weight=3];
2317[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (primMulInt (Neg vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Neg vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2317 -> 2321[label="",style="solid", color="black", weight=3];
2318[label="Integer (Pos (primMulNat vuz30 (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];3156[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];2318 -> 3156[label="",style="solid", color="burlywood", weight=9];
3156 -> 2322[label="",style="solid", color="burlywood", weight=3];
3157[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];2318 -> 3157[label="",style="solid", color="burlywood", weight=9];
3157 -> 2323[label="",style="solid", color="burlywood", weight=3];
2319[label="Integer (Neg (primMulNat vuz30 (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];3158[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];2319 -> 3158[label="",style="solid", color="burlywood", weight=9];
3158 -> 2324[label="",style="solid", color="burlywood", weight=3];
3159[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];2319 -> 3159[label="",style="solid", color="burlywood", weight=9];
3159 -> 2325[label="",style="solid", color="burlywood", weight=3];
2320 -> 2590[label="",style="dashed", color="red", weight=0];
2320[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];2320 -> 2591[label="",style="dashed", color="magenta", weight=3];
2320 -> 2592[label="",style="dashed", color="magenta", weight=3];
2321 -> 2646[label="",style="dashed", color="red", weight=0];
2321[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];2321 -> 2647[label="",style="dashed", color="magenta", weight=3];
2321 -> 2648[label="",style="dashed", color="magenta", weight=3];
2322[label="Integer (Pos (primMulNat (Succ vuz300) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primMulNat (Succ vuz300) (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat (Succ vuz300) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2322 -> 2330[label="",style="solid", color="black", weight=3];
2323[label="Integer (Pos (primMulNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primMulNat Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2323 -> 2331[label="",style="solid", color="black", weight=3];
2324[label="Integer (Neg (primMulNat (Succ vuz300) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primMulNat (Succ vuz300) (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat (Succ vuz300) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2324 -> 2332[label="",style="solid", color="black", weight=3];
2325[label="Integer (Neg (primMulNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primMulNat Zero (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2325 -> 2333[label="",style="solid", color="black", weight=3];
2591 -> 2532[label="",style="dashed", color="red", weight=0];
2591[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];2591 -> 2637[label="",style="dashed", color="magenta", weight=3];
2592 -> 2532[label="",style="dashed", color="red", weight=0];
2592[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];2592 -> 2638[label="",style="dashed", color="magenta", weight=3];
2590[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos vuz43) (Pos Zero)) (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];3164[label="vuz43/Succ vuz430",fontsize=10,color="white",style="solid",shape="box"];2590 -> 3164[label="",style="solid", color="burlywood", weight=9];
3164 -> 2639[label="",style="solid", color="burlywood", weight=3];
3165[label="vuz43/Zero",fontsize=10,color="white",style="solid",shape="box"];2590 -> 3165[label="",style="solid", color="burlywood", weight=9];
3165 -> 2640[label="",style="solid", color="burlywood", weight=3];
2647 -> 2532[label="",style="dashed", color="red", weight=0];
2647[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];2647 -> 2689[label="",style="dashed", color="magenta", weight=3];
2648 -> 2532[label="",style="dashed", color="red", weight=0];
2648[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];2648 -> 2690[label="",style="dashed", color="magenta", weight=3];
2646[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg vuz57) (Pos Zero)) (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];3168[label="vuz57/Succ vuz570",fontsize=10,color="white",style="solid",shape="box"];2646 -> 3168[label="",style="solid", color="burlywood", weight=9];
3168 -> 2691[label="",style="solid", color="burlywood", weight=3];
3169[label="vuz57/Zero",fontsize=10,color="white",style="solid",shape="box"];2646 -> 3169[label="",style="solid", color="burlywood", weight=9];
3169 -> 2692[label="",style="solid", color="burlywood", weight=3];
2330 -> 2531[label="",style="dashed", color="red", weight=0];
2330[label="Integer (Pos (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];2330 -> 2532[label="",style="dashed", color="magenta", weight=3];
2331[label="Integer (Pos Zero) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2331 -> 2340[label="",style="solid", color="black", weight=3];
2332 -> 2561[label="",style="dashed", color="red", weight=0];
2332[label="Integer (Neg (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];2332 -> 2562[label="",style="dashed", color="magenta", weight=3];
2333[label="Integer (Neg Zero) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2333 -> 2343[label="",style="solid", color="black", weight=3];
2637[label="vuz30",fontsize=16,color="green",shape="box"];2532[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];3172[label="vuz300/Succ vuz3000",fontsize=10,color="white",style="solid",shape="box"];2532 -> 3172[label="",style="solid", color="burlywood", weight=9];
3172 -> 2548[label="",style="solid", color="burlywood", weight=3];
3173[label="vuz300/Zero",fontsize=10,color="white",style="solid",shape="box"];2532 -> 3173[label="",style="solid", color="burlywood", weight=9];
3173 -> 2549[label="",style="solid", color="burlywood", weight=3];
2638[label="vuz30",fontsize=16,color="green",shape="box"];2639[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (Succ vuz430)) (Pos Zero)) (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2639 -> 2693[label="",style="solid", color="black", weight=3];
2640[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2640 -> 2694[label="",style="solid", color="black", weight=3];
2689[label="vuz30",fontsize=16,color="green",shape="box"];2690[label="vuz30",fontsize=16,color="green",shape="box"];2691[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg (Succ vuz570)) (Pos Zero)) (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2691 -> 2701[label="",style="solid", color="black", weight=3];
2692[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2692 -> 2702[label="",style="solid", color="black", weight=3];
2531[label="Integer (Pos (primPlusNat vuz35 (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat vuz35 (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat vuz35 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];3174[label="vuz35/Succ vuz350",fontsize=10,color="white",style="solid",shape="box"];2531 -> 3174[label="",style="solid", color="burlywood", weight=9];
3174 -> 2550[label="",style="solid", color="burlywood", weight=3];
3175[label="vuz35/Zero",fontsize=10,color="white",style="solid",shape="box"];2531 -> 3175[label="",style="solid", color="burlywood", weight=9];
3175 -> 2551[label="",style="solid", color="burlywood", weight=3];
2340[label="Integer (Pos Zero) `quot` gcd2 True (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2340 -> 2352[label="",style="solid", color="black", weight=3];
2562 -> 2532[label="",style="dashed", color="red", weight=0];
2562[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="magenta"];2562 -> 2578[label="",style="dashed", color="magenta", weight=3];
2561[label="Integer (Neg (primPlusNat vuz40 (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat vuz40 (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat vuz40 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];3177[label="vuz40/Succ vuz400",fontsize=10,color="white",style="solid",shape="box"];2561 -> 3177[label="",style="solid", color="burlywood", weight=9];
3177 -> 2579[label="",style="solid", color="burlywood", weight=3];
3178[label="vuz40/Zero",fontsize=10,color="white",style="solid",shape="box"];2561 -> 3178[label="",style="solid", color="burlywood", weight=9];
3178 -> 2580[label="",style="solid", color="burlywood", weight=3];
2343[label="Integer (Neg Zero) `quot` gcd2 True (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2343 -> 2355[label="",style="solid", color="black", weight=3];
2548[label="primMulNat (Succ vuz3000) (Succ Zero)",fontsize=16,color="black",shape="box"];2548 -> 2557[label="",style="solid", color="black", weight=3];
2549[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];2549 -> 2558[label="",style="solid", color="black", weight=3];
2693[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2693 -> 2703[label="",style="solid", color="black", weight=3];
2694[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2694 -> 2704[label="",style="solid", color="black", weight=3];
2701[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2701 -> 2712[label="",style="solid", color="black", weight=3];
2702[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2702 -> 2713[label="",style="solid", color="black", weight=3];
2550[label="Integer (Pos (primPlusNat (Succ vuz350) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat (Succ vuz350) (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat (Succ vuz350) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2550 -> 2559[label="",style="solid", color="black", weight=3];
2551[label="Integer (Pos (primPlusNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2551 -> 2560[label="",style="solid", color="black", weight=3];
2352[label="Integer (Pos Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2352 -> 2365[label="",style="solid", color="black", weight=3];
2578[label="vuz300",fontsize=16,color="green",shape="box"];2579[label="Integer (Neg (primPlusNat (Succ vuz400) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat (Succ vuz400) (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat (Succ vuz400) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2579 -> 2583[label="",style="solid", color="black", weight=3];
2580[label="Integer (Neg (primPlusNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat Zero (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2580 -> 2584[label="",style="solid", color="black", weight=3];
2355[label="Integer (Neg Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2355 -> 2369[label="",style="solid", color="black", weight=3];
2557 -> 2581[label="",style="dashed", color="red", weight=0];
2557[label="primPlusNat (primMulNat vuz3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2557 -> 2582[label="",style="dashed", color="magenta", weight=3];
2558[label="Zero",fontsize=16,color="green",shape="box"];2703[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];2703 -> 2714[label="",style="solid", color="black", weight=3];
2704[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2704 -> 2715[label="",style="solid", color="black", weight=3];
2712[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];2712 -> 2719[label="",style="solid", color="black", weight=3];
2713[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2713 -> 2720[label="",style="solid", color="black", weight=3];
2559[label="Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero)))) `quot` gcd2 (primEqInt (Pos (Succ (Succ (primPlusNat vuz350 Zero)))) (Pos Zero)) (Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2559 -> 2585[label="",style="solid", color="black", weight=3];
2560 -> 2590[label="",style="dashed", color="red", weight=0];
2560[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];2560 -> 2601[label="",style="dashed", color="magenta", weight=3];
2560 -> 2602[label="",style="dashed", color="magenta", weight=3];
2365[label="Integer (Pos Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2365 -> 2381[label="",style="solid", color="black", weight=3];
2583[label="Integer (Neg (Succ (Succ (primPlusNat vuz400 Zero)))) `quot` gcd2 (primEqInt (Neg (Succ (Succ (primPlusNat vuz400 Zero)))) (Pos Zero)) (Integer (Neg (Succ (Succ (primPlusNat vuz400 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2583 -> 2641[label="",style="solid", color="black", weight=3];
2584[label="Integer (Neg (Succ Zero)) `quot` gcd2 (primEqInt (Neg (Succ Zero)) (Pos Zero)) (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2584 -> 2642[label="",style="solid", color="black", weight=3];
2369[label="Integer (Neg Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2369 -> 2385[label="",style="solid", color="black", weight=3];
2582 -> 2532[label="",style="dashed", color="red", weight=0];
2582[label="primMulNat vuz3000 (Succ Zero)",fontsize=16,color="magenta"];2582 -> 2586[label="",style="dashed", color="magenta", weight=3];
2581[label="primPlusNat vuz41 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];3182[label="vuz41/Succ vuz410",fontsize=10,color="white",style="solid",shape="box"];2581 -> 3182[label="",style="solid", color="burlywood", weight=9];
3182 -> 2587[label="",style="solid", color="burlywood", weight=3];
3183[label="vuz41/Zero",fontsize=10,color="white",style="solid",shape="box"];2581 -> 3183[label="",style="solid", color="burlywood", weight=9];
3183 -> 2588[label="",style="solid", color="burlywood", weight=3];
2714[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Pos vuz42))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2714 -> 2721[label="",style="solid", color="black", weight=3];
2715[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2715 -> 2722[label="",style="solid", color="black", weight=3];
2719[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg vuz56))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2719 -> 2727[label="",style="solid", color="black", weight=3];
2720[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2720 -> 2728[label="",style="solid", color="black", weight=3];
2585[label="Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero)))) `quot` gcd2 False (Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2585 -> 2643[label="",style="solid", color="black", weight=3];
2601[label="Succ Zero",fontsize=16,color="green",shape="box"];2602[label="Succ Zero",fontsize=16,color="green",shape="box"];2381[label="Integer (Pos Zero) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2381 -> 2397[label="",style="solid", color="black", weight=3];
2641[label="Integer (Neg (Succ (Succ (primPlusNat vuz400 Zero)))) `quot` gcd2 False (Integer (Neg (Succ (Succ (primPlusNat vuz400 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2641 -> 2695[label="",style="solid", color="black", weight=3];
2642[label="Integer (Neg (Succ Zero)) `quot` gcd2 False (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2642 -> 2696[label="",style="solid", color="black", weight=3];
2385[label="Integer (Neg Zero) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2385 -> 2402[label="",style="solid", color="black", weight=3];
2586[label="vuz3000",fontsize=16,color="green",shape="box"];2587[label="primPlusNat (Succ vuz410) (Succ Zero)",fontsize=16,color="black",shape="box"];2587 -> 2644[label="",style="solid", color="black", weight=3];
2588[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];2588 -> 2645[label="",style="solid", color="black", weight=3];
2721[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Pos vuz42))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2721 -> 2729[label="",style="solid", color="black", weight=3];
2722[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2722 -> 2730[label="",style="solid", color="black", weight=3];
2727[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg vuz56))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2727 -> 2742[label="",style="solid", color="black", weight=3];
2728[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2728 -> 2743[label="",style="solid", color="black", weight=3];
2643[label="Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero)))) `quot` gcd0 (Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2643 -> 2697[label="",style="solid", color="black", weight=3];
2397[label="Integer (Pos Zero) `quot` gcd1 False (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2397 -> 2416[label="",style="solid", color="black", weight=3];
2695[label="Integer (Neg (Succ (Succ (primPlusNat vuz400 Zero)))) `quot` gcd0 (Integer (Neg (Succ (Succ (primPlusNat vuz400 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2695 -> 2705[label="",style="solid", color="black", weight=3];
2696[label="Integer (Neg (Succ Zero)) `quot` gcd0 (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2696 -> 2706[label="",style="solid", color="black", weight=3];
2402[label="Integer (Neg Zero) `quot` gcd1 False (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2402 -> 2421[label="",style="solid", color="black", weight=3];
2644[label="Succ (Succ (primPlusNat vuz410 Zero))",fontsize=16,color="green",shape="box"];2644 -> 2698[label="",style="dashed", color="green", weight=3];
2645[label="Succ Zero",fontsize=16,color="green",shape="box"];2729[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2729 -> 2744[label="",style="solid", color="black", weight=3];
2730[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2730 -> 2745[label="",style="solid", color="black", weight=3];
2742[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2742 -> 2751[label="",style="solid", color="black", weight=3];
2743[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2743 -> 2752[label="",style="solid", color="black", weight=3];
2697[label="Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero)))) `quot` gcd0Gcd' (abs (Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2697 -> 2707[label="",style="solid", color="black", weight=3];
2416[label="Integer (Pos Zero) `quot` gcd0 (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2416 -> 2436[label="",style="solid", color="black", weight=3];
2705 -> 2716[label="",style="dashed", color="red", weight=0];
2705[label="Integer (Neg (Succ (Succ (primPlusNat vuz400 Zero)))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ (primPlusNat vuz400 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];2705 -> 2717[label="",style="dashed", color="magenta", weight=3];
2705 -> 2718[label="",style="dashed", color="magenta", weight=3];
2706[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2706 -> 2723[label="",style="solid", color="black", weight=3];
2421[label="Integer (Neg Zero) `quot` gcd0 (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2421 -> 2442[label="",style="solid", color="black", weight=3];
2698[label="primPlusNat vuz410 Zero",fontsize=16,color="burlywood",shape="triangle"];3185[label="vuz410/Succ vuz4100",fontsize=10,color="white",style="solid",shape="box"];2698 -> 3185[label="",style="solid", color="burlywood", weight=9];
3185 -> 2708[label="",style="solid", color="burlywood", weight=3];
3186[label="vuz410/Zero",fontsize=10,color="white",style="solid",shape="box"];2698 -> 3186[label="",style="solid", color="burlywood", weight=9];
3186 -> 2709[label="",style="solid", color="burlywood", weight=3];
2744[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2744 -> 2753[label="",style="solid", color="black", weight=3];
2745 -> 2703[label="",style="dashed", color="red", weight=0];
2745[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz42)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];2751[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2751 -> 2759[label="",style="solid", color="black", weight=3];
2752 -> 2712[label="",style="dashed", color="red", weight=0];
2752[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz56)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];2707 -> 2724[label="",style="dashed", color="red", weight=0];
2707[label="Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero)))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ (primPlusNat vuz350 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];2707 -> 2725[label="",style="dashed", color="magenta", weight=3];
2707 -> 2726[label="",style="dashed", color="magenta", weight=3];
2436[label="Integer (Pos Zero) `quot` gcd0Gcd' (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2436 -> 2459[label="",style="solid", color="black", weight=3];
2717 -> 2698[label="",style="dashed", color="red", weight=0];
2717[label="primPlusNat vuz400 Zero",fontsize=16,color="magenta"];2717 -> 2731[label="",style="dashed", color="magenta", weight=3];
2718 -> 2698[label="",style="dashed", color="red", weight=0];
2718[label="primPlusNat vuz400 Zero",fontsize=16,color="magenta"];2718 -> 2732[label="",style="dashed", color="magenta", weight=3];
2716[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ vuz71))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];2716 -> 2733[label="",style="solid", color="black", weight=3];
2723[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2723 -> 2734[label="",style="solid", color="black", weight=3];
2442[label="Integer (Neg Zero) `quot` gcd0Gcd' (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2442 -> 2465[label="",style="solid", color="black", weight=3];
2708[label="primPlusNat (Succ vuz4100) Zero",fontsize=16,color="black",shape="box"];2708 -> 2735[label="",style="solid", color="black", weight=3];
2709[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];2709 -> 2736[label="",style="solid", color="black", weight=3];
2753[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2753 -> 2760[label="",style="solid", color="black", weight=3];
2759[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2759 -> 2766[label="",style="solid", color="black", weight=3];
2725 -> 2698[label="",style="dashed", color="red", weight=0];
2725[label="primPlusNat vuz350 Zero",fontsize=16,color="magenta"];2725 -> 2737[label="",style="dashed", color="magenta", weight=3];
2726 -> 2698[label="",style="dashed", color="red", weight=0];
2726[label="primPlusNat vuz350 Zero",fontsize=16,color="magenta"];2726 -> 2738[label="",style="dashed", color="magenta", weight=3];
2724[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ vuz73))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];2724 -> 2739[label="",style="solid", color="black", weight=3];
2459[label="Integer (Pos Zero) `quot` gcd0Gcd'2 (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2459 -> 2483[label="",style="solid", color="black", weight=3];
2731[label="vuz400",fontsize=16,color="green",shape="box"];2732[label="vuz400",fontsize=16,color="green",shape="box"];2733[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ (Succ vuz71))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2733 -> 2746[label="",style="solid", color="black", weight=3];
2734[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2734 -> 2747[label="",style="solid", color="black", weight=3];
2465[label="Integer (Neg Zero) `quot` gcd0Gcd'2 (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2465 -> 2490[label="",style="solid", color="black", weight=3];
2735[label="Succ vuz4100",fontsize=16,color="green",shape="box"];2736[label="Zero",fontsize=16,color="green",shape="box"];2760[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2760 -> 2767[label="",style="solid", color="black", weight=3];
2766[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2766 -> 2773[label="",style="solid", color="black", weight=3];
2737[label="vuz350",fontsize=16,color="green",shape="box"];2738[label="vuz350",fontsize=16,color="green",shape="box"];2739[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2739 -> 2748[label="",style="solid", color="black", weight=3];
2483[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2483 -> 2510[label="",style="solid", color="black", weight=3];
2746[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2746 -> 2754[label="",style="solid", color="black", weight=3];
2747[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2747 -> 2755[label="",style="solid", color="black", weight=3];
2490[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2490 -> 2517[label="",style="solid", color="black", weight=3];
2767[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2767 -> 2774[label="",style="solid", color="black", weight=3];
2773[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2773 -> 2780[label="",style="solid", color="black", weight=3];
2748[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2748 -> 2756[label="",style="solid", color="black", weight=3];
2510[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2510 -> 2552[label="",style="solid", color="black", weight=3];
2754[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2754 -> 2761[label="",style="solid", color="black", weight=3];
2755[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2755 -> 2762[label="",style="solid", color="black", weight=3];
2517[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2517 -> 2589[label="",style="solid", color="black", weight=3];
2774[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2774 -> 2781[label="",style="solid", color="black", weight=3];
2780[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2780 -> 2787[label="",style="solid", color="black", weight=3];
2756[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2756 -> 2763[label="",style="solid", color="black", weight=3];
2552[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2552 -> 2699[label="",style="solid", color="black", weight=3];
2761[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2761 -> 2768[label="",style="solid", color="black", weight=3];
2762[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2762 -> 2769[label="",style="solid", color="black", weight=3];
2589[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2589 -> 2700[label="",style="solid", color="black", weight=3];
2781[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2781 -> 2788[label="",style="solid", color="black", weight=3];
2787[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2787 -> 2794[label="",style="solid", color="black", weight=3];
2763[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2763 -> 2770[label="",style="solid", color="black", weight=3];
2699[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2699 -> 2710[label="",style="solid", color="black", weight=3];
2768[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2768 -> 2775[label="",style="solid", color="black", weight=3];
2769[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2769 -> 2776[label="",style="solid", color="black", weight=3];
2700[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2700 -> 2711[label="",style="solid", color="black", weight=3];
2788[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2788 -> 2795[label="",style="solid", color="black", weight=3];
2794[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2794 -> 2801[label="",style="solid", color="black", weight=3];
2770[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2770 -> 2777[label="",style="solid", color="black", weight=3];
2710[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2710 -> 2740[label="",style="solid", color="black", weight=3];
2775[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2775 -> 2782[label="",style="solid", color="black", weight=3];
2776[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2776 -> 2783[label="",style="solid", color="black", weight=3];
2711[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2711 -> 2741[label="",style="solid", color="black", weight=3];
2795[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2795 -> 2802[label="",style="solid", color="black", weight=3];
2801[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2801 -> 2808[label="",style="solid", color="black", weight=3];
2777[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2777 -> 2784[label="",style="solid", color="black", weight=3];
2740[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2740 -> 2749[label="",style="solid", color="black", weight=3];
2782[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2782 -> 2789[label="",style="solid", color="black", weight=3];
2783[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2783 -> 2790[label="",style="solid", color="black", weight=3];
2741[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2741 -> 2750[label="",style="solid", color="black", weight=3];
2802[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2802 -> 2809[label="",style="solid", color="black", weight=3];
2808[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2808 -> 2815[label="",style="solid", color="black", weight=3];
2784[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2784 -> 2791[label="",style="solid", color="black", weight=3];
2749[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2749 -> 2757[label="",style="solid", color="black", weight=3];
2789[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2789 -> 2796[label="",style="solid", color="black", weight=3];
2790[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2790 -> 2797[label="",style="solid", color="black", weight=3];
2750[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2750 -> 2758[label="",style="solid", color="black", weight=3];
2809[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2809 -> 2816[label="",style="solid", color="black", weight=3];
2815[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2815 -> 2822[label="",style="solid", color="black", weight=3];
2791[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2791 -> 2798[label="",style="solid", color="black", weight=3];
2757[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2757 -> 2764[label="",style="solid", color="black", weight=3];
2796[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2796 -> 2803[label="",style="solid", color="black", weight=3];
2797[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2797 -> 2804[label="",style="solid", color="black", weight=3];
2758[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2758 -> 2765[label="",style="solid", color="black", weight=3];
2816[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2816 -> 2823[label="",style="solid", color="black", weight=3];
2822[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2822 -> 2829[label="",style="solid", color="black", weight=3];
2798[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2798 -> 2805[label="",style="solid", color="black", weight=3];
2764[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2764 -> 2771[label="",style="solid", color="black", weight=3];
2803[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2803 -> 2810[label="",style="solid", color="black", weight=3];
2804[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2804 -> 2811[label="",style="solid", color="black", weight=3];
2765[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2765 -> 2772[label="",style="solid", color="black", weight=3];
2823[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz42))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2823 -> 2830[label="",style="solid", color="black", weight=3];
2829[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz56))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2829 -> 2836[label="",style="solid", color="black", weight=3];
2805[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2805 -> 2812[label="",style="solid", color="black", weight=3];
2771[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2771 -> 2778[label="",style="solid", color="black", weight=3];
2810[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2810 -> 2817[label="",style="solid", color="black", weight=3];
2811[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2811 -> 2818[label="",style="solid", color="black", weight=3];
2772[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2772 -> 2779[label="",style="solid", color="black", weight=3];
2830[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos vuz42))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2830 -> 2837[label="",style="solid", color="black", weight=3];
2836[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg vuz56))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2836 -> 2843[label="",style="solid", color="black", weight=3];
2812[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2812 -> 2819[label="",style="solid", color="black", weight=3];
2778[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2778 -> 2785[label="",style="solid", color="black", weight=3];
2817[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2817 -> 2824[label="",style="solid", color="black", weight=3];
2818[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2818 -> 2825[label="",style="solid", color="black", weight=3];
2779[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2779 -> 2786[label="",style="solid", color="black", weight=3];
2837[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos vuz42))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2837 -> 2844[label="",style="solid", color="black", weight=3];
2843[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg vuz56))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2843 -> 2850[label="",style="solid", color="black", weight=3];
2819[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2819 -> 2826[label="",style="solid", color="black", weight=3];
2785[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2785 -> 2792[label="",style="solid", color="black", weight=3];
2824[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2824 -> 2831[label="",style="solid", color="black", weight=3];
2825[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2825 -> 2832[label="",style="solid", color="black", weight=3];
2786[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2786 -> 2793[label="",style="solid", color="black", weight=3];
2844[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Pos vuz42))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2844 -> 2851[label="",style="solid", color="black", weight=3];
2850[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg vuz56))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2850 -> 2857[label="",style="solid", color="black", weight=3];
2826[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2826 -> 2833[label="",style="solid", color="black", weight=3];
2792[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2792 -> 2799[label="",style="solid", color="black", weight=3];
2831[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2831 -> 2838[label="",style="solid", color="black", weight=3];
2832[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2832 -> 2839[label="",style="solid", color="black", weight=3];
2793[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2793 -> 2800[label="",style="solid", color="black", weight=3];
2851[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Pos vuz42))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2851 -> 2858[label="",style="solid", color="black", weight=3];
2857[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg vuz56))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2857 -> 2864[label="",style="solid", color="black", weight=3];
2833[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2833 -> 2840[label="",style="solid", color="black", weight=3];
2799[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2799 -> 2806[label="",style="solid", color="black", weight=3];
2838[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2838 -> 2845[label="",style="solid", color="black", weight=3];
2839[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2839 -> 2846[label="",style="solid", color="black", weight=3];
2800[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2800 -> 2807[label="",style="solid", color="black", weight=3];
2858[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz42)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2858 -> 2865[label="",style="solid", color="black", weight=3];
2864[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz56)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2864 -> 2871[label="",style="solid", color="black", weight=3];
2840[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2840 -> 2847[label="",style="solid", color="black", weight=3];
2806[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2806 -> 2813[label="",style="solid", color="black", weight=3];
2845[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz71))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2845 -> 2852[label="",style="solid", color="black", weight=3];
2846[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2846 -> 2853[label="",style="solid", color="black", weight=3];
2807[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2807 -> 2814[label="",style="solid", color="black", weight=3];
2865[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz42)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2865 -> 2872[label="",style="solid", color="black", weight=3];
2871[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz56)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2871 -> 2878[label="",style="solid", color="black", weight=3];
2847[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 False (abs (Integer (Pos (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2847 -> 2854[label="",style="solid", color="black", weight=3];
2813[label="Integer (Pos Zero) `quot` gcd0Gcd'1 False (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2813 -> 2820[label="",style="solid", color="black", weight=3];
2852[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ (Succ vuz71))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2852 -> 2859[label="",style="solid", color="black", weight=3];
2853[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2853 -> 2860[label="",style="solid", color="black", weight=3];
2814[label="Integer (Neg Zero) `quot` gcd0Gcd'1 False (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2814 -> 2821[label="",style="solid", color="black", weight=3];
2872[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos vuz42)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz42)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2872 -> 2879[label="",style="solid", color="black", weight=3];
2878[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Neg vuz56)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz56)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2878 -> 2885[label="",style="solid", color="black", weight=3];
2854[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'0 (abs (Integer (Pos (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2854 -> 2861[label="",style="solid", color="black", weight=3];
2820[label="Integer (Pos Zero) `quot` gcd0Gcd'0 (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2820 -> 2827[label="",style="solid", color="black", weight=3];
2859[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ (Succ vuz71))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2859 -> 2866[label="",style="solid", color="black", weight=3];
2860[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2860 -> 2867[label="",style="solid", color="black", weight=3];
2821[label="Integer (Neg Zero) `quot` gcd0Gcd'0 (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2821 -> 2828[label="",style="solid", color="black", weight=3];
2879[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos vuz42)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos vuz42)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2879 -> 2886[label="",style="solid", color="black", weight=3];
2885[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Neg vuz56)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg vuz56)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2885 -> 2892[label="",style="solid", color="black", weight=3];
2861[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2861 -> 2868[label="",style="solid", color="black", weight=3];
2827[label="Integer (Pos Zero) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2827 -> 2834[label="",style="solid", color="black", weight=3];
2866[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2866 -> 2873[label="",style="solid", color="black", weight=3];
2867[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2867 -> 2874[label="",style="solid", color="black", weight=3];
2828[label="Integer (Neg Zero) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2828 -> 2835[label="",style="solid", color="black", weight=3];
2886[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos vuz42)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos vuz42)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2886 -> 2893[label="",style="solid", color="black", weight=3];
2892[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg vuz56)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg vuz56)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2892 -> 2899[label="",style="solid", color="black", weight=3];
2868[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2868 -> 2875[label="",style="solid", color="black", weight=3];
2834[label="Integer (Pos Zero) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2834 -> 2841[label="",style="solid", color="black", weight=3];
2873[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2873 -> 2880[label="",style="solid", color="black", weight=3];
2874[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2874 -> 2881[label="",style="solid", color="black", weight=3];
2835[label="Integer (Neg Zero) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2835 -> 2842[label="",style="solid", color="black", weight=3];
2893[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz42)) (Integer (Pos vuz42) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz42)) (Integer (Pos vuz42) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2893 -> 2900[label="",style="solid", color="black", weight=3];
2899[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz56)) (Integer (Neg vuz56) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz56)) (Integer (Neg vuz56) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2899 -> 2906[label="",style="solid", color="black", weight=3];
2875[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2875 -> 2882[label="",style="solid", color="black", weight=3];
2841[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2841 -> 2848[label="",style="solid", color="black", weight=3];
2880[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (abs (Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2880 -> 2887[label="",style="solid", color="black", weight=3];
2881[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2881 -> 2888[label="",style="solid", color="black", weight=3];
2842[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2842 -> 2849[label="",style="solid", color="black", weight=3];
2900[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz42)) (compare (Integer (Pos vuz42)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz42)) (compare (Integer (Pos vuz42)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2900 -> 2907[label="",style="solid", color="black", weight=3];
2906[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz56)) (compare (Integer (Neg vuz56)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz56)) (compare (Integer (Neg vuz56)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2906 -> 2913[label="",style="solid", color="black", weight=3];
2882[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2882 -> 2889[label="",style="solid", color="black", weight=3];
2848[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2848 -> 2855[label="",style="solid", color="black", weight=3];
2887[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal (Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2887 -> 2894[label="",style="solid", color="black", weight=3];
2888[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2888 -> 2895[label="",style="solid", color="black", weight=3];
2849[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2849 -> 2856[label="",style="solid", color="black", weight=3];
2907[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz42)) (not (compare (Integer (Pos vuz42)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz42)) (not (compare (Integer (Pos vuz42)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2907 -> 2914[label="",style="solid", color="black", weight=3];
2913[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz56)) (not (compare (Integer (Neg vuz56)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz56)) (not (compare (Integer (Neg vuz56)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2913 -> 2920[label="",style="solid", color="black", weight=3];
2889[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2889 -> 2896[label="",style="solid", color="black", weight=3];
2855[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2855 -> 2862[label="",style="solid", color="black", weight=3];
2894[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2894 -> 2901[label="",style="solid", color="black", weight=3];
2895[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (Integer (Neg (Succ Zero)) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (Integer (Neg (Succ Zero)) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2895 -> 2902[label="",style="solid", color="black", weight=3];
2856[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2856 -> 2863[label="",style="solid", color="black", weight=3];
2914[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz42)) (not (compare (Integer (Pos vuz42)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz42)) (not (compare (Integer (Pos vuz42)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2914 -> 2921[label="",style="solid", color="black", weight=3];
2920[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz56)) (not (compare (Integer (Neg vuz56)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz56)) (not (compare (Integer (Neg vuz56)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2920 -> 2927[label="",style="solid", color="black", weight=3];
2896[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (Integer (Pos (Succ (Succ vuz73))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (Integer (Pos (Succ (Succ vuz73))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2896 -> 2903[label="",style="solid", color="black", weight=3];
2862[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (Integer (Pos Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (Integer (Pos Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2862 -> 2869[label="",style="solid", color="black", weight=3];
2901[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (Integer (Neg (Succ (Succ vuz71))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (Integer (Neg (Succ (Succ vuz71))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2901 -> 2908[label="",style="solid", color="black", weight=3];
2902[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2902 -> 2909[label="",style="solid", color="black", weight=3];
2863[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (Integer (Neg Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (Integer (Neg Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2863 -> 2870[label="",style="solid", color="black", weight=3];
2921[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz42)) (not (primCmpInt (Pos vuz42) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz42)) (not (primCmpInt (Pos vuz42) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];3194[label="vuz42/Succ vuz420",fontsize=10,color="white",style="solid",shape="box"];2921 -> 3194[label="",style="solid", color="burlywood", weight=9];
3194 -> 2928[label="",style="solid", color="burlywood", weight=3];
3195[label="vuz42/Zero",fontsize=10,color="white",style="solid",shape="box"];2921 -> 3195[label="",style="solid", color="burlywood", weight=9];
3195 -> 2929[label="",style="solid", color="burlywood", weight=3];
2927[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz56)) (not (primCmpInt (Neg vuz56) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz56)) (not (primCmpInt (Neg vuz56) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];3196[label="vuz56/Succ vuz560",fontsize=10,color="white",style="solid",shape="box"];2927 -> 3196[label="",style="solid", color="burlywood", weight=9];
3196 -> 2936[label="",style="solid", color="burlywood", weight=3];
3197[label="vuz56/Zero",fontsize=10,color="white",style="solid",shape="box"];2927 -> 3197[label="",style="solid", color="burlywood", weight=9];
3197 -> 2937[label="",style="solid", color="burlywood", weight=3];
2903[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (compare (Integer (Pos (Succ (Succ vuz73)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (compare (Integer (Pos (Succ (Succ vuz73)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2903 -> 2910[label="",style="solid", color="black", weight=3];
2869[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2869 -> 2876[label="",style="solid", color="black", weight=3];
2908[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (compare (Integer (Neg (Succ (Succ vuz71)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (compare (Integer (Neg (Succ (Succ vuz71)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2908 -> 2915[label="",style="solid", color="black", weight=3];
2909[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2909 -> 2916[label="",style="solid", color="black", weight=3];
2870[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2870 -> 2877[label="",style="solid", color="black", weight=3];
2928[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz420))) (not (primCmpInt (Pos (Succ vuz420)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz420))) (not (primCmpInt (Pos (Succ vuz420)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2928 -> 2938[label="",style="solid", color="black", weight=3];
2929[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2929 -> 2939[label="",style="solid", color="black", weight=3];
2936[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz560))) (not (primCmpInt (Neg (Succ vuz560)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz560))) (not (primCmpInt (Neg (Succ vuz560)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2936 -> 2945[label="",style="solid", color="black", weight=3];
2937[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2937 -> 2946[label="",style="solid", color="black", weight=3];
2910[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (compare (Integer (Pos (Succ (Succ vuz73)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (compare (Integer (Pos (Succ (Succ vuz73)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2910 -> 2917[label="",style="solid", color="black", weight=3];
2876[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2876 -> 2883[label="",style="solid", color="black", weight=3];
2915[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not (compare (Integer (Neg (Succ (Succ vuz71)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not (compare (Integer (Neg (Succ (Succ vuz71)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2915 -> 2922[label="",style="solid", color="black", weight=3];
2916[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2916 -> 2923[label="",style="solid", color="black", weight=3];
2877[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2877 -> 2884[label="",style="solid", color="black", weight=3];
2938[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz420))) (not (primCmpNat (Succ vuz420) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz420))) (not (primCmpNat (Succ vuz420) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2938 -> 2947[label="",style="solid", color="black", weight=3];
2939[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2939 -> 2948[label="",style="solid", color="black", weight=3];
2945[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz560))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz560))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2945 -> 2954[label="",style="solid", color="black", weight=3];
2946[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2946 -> 2955[label="",style="solid", color="black", weight=3];
2917[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (compare (Integer (Pos (Succ (Succ vuz73)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (compare (Integer (Pos (Succ (Succ vuz73)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2917 -> 2924[label="",style="solid", color="black", weight=3];
2883[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2883 -> 2890[label="",style="solid", color="black", weight=3];
2922[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not (compare (Integer (Neg (Succ (Succ vuz71)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not (compare (Integer (Neg (Succ (Succ vuz71)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2922 -> 2930[label="",style="solid", color="black", weight=3];
2923[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (primCmpInt (Neg (Succ Zero)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (primCmpInt (Neg (Succ Zero)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2923 -> 2931[label="",style="solid", color="black", weight=3];
2884[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2884 -> 2891[label="",style="solid", color="black", weight=3];
2947[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz420))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz420))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2947 -> 2956[label="",style="solid", color="black", weight=3];
2948[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2948 -> 2957[label="",style="solid", color="black", weight=3];
2954[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz560))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz560))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2954 -> 2963[label="",style="solid", color="black", weight=3];
2955[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2955 -> 2964[label="",style="solid", color="black", weight=3];
2924[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (primCmpInt (Pos (Succ (Succ vuz73))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (primCmpInt (Pos (Succ (Succ vuz73))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2924 -> 2932[label="",style="solid", color="black", weight=3];
2890[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2890 -> 2897[label="",style="solid", color="black", weight=3];
2930[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not (primCmpInt (Neg (Succ (Succ vuz71))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not (primCmpInt (Neg (Succ (Succ vuz71))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2930 -> 2940[label="",style="solid", color="black", weight=3];
2931[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2931 -> 2941[label="",style="solid", color="black", weight=3];
2891[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2891 -> 2898[label="",style="solid", color="black", weight=3];
2956[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz420))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz420))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2956 -> 2965[label="",style="solid", color="black", weight=3];
2957[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2957 -> 2966[label="",style="solid", color="black", weight=3];
2963[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz560))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz560))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2963 -> 2972[label="",style="solid", color="black", weight=3];
2964[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2964 -> 2973[label="",style="solid", color="black", weight=3];
2932[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (primCmpNat (Succ (Succ vuz73)) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (primCmpNat (Succ (Succ vuz73)) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2932 -> 2942[label="",style="solid", color="black", weight=3];
2897[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2897 -> 2904[label="",style="solid", color="black", weight=3];
2940[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2940 -> 2949[label="",style="solid", color="black", weight=3];
2941[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2941 -> 2950[label="",style="solid", color="black", weight=3];
2898[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2898 -> 2905[label="",style="solid", color="black", weight=3];
2965[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz420))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz420))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2965 -> 2974[label="",style="solid", color="black", weight=3];
2966[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2966 -> 2975[label="",style="solid", color="black", weight=3];
2972[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz560))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz560))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2972 -> 2981[label="",style="solid", color="black", weight=3];
2973[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2973 -> 2982[label="",style="solid", color="black", weight=3];
2942[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2942 -> 2951[label="",style="solid", color="black", weight=3];
2904[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2904 -> 2911[label="",style="solid", color="black", weight=3];
2949[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz71)))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2949 -> 2958[label="",style="solid", color="black", weight=3];
2950[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2950 -> 2959[label="",style="solid", color="black", weight=3];
2905[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2905 -> 2912[label="",style="solid", color="black", weight=3];
2974[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ vuz420)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ vuz420)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2974 -> 2983[label="",style="solid", color="black", weight=3];
2975[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2975 -> 2984[label="",style="solid", color="black", weight=3];
2981[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz560))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz560))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2981 -> 2990[label="",style="solid", color="black", weight=3];
2982 -> 2934[label="",style="dashed", color="red", weight=0];
2982[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="magenta"];2982 -> 2991[label="",style="dashed", color="magenta", weight=3];
2951[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz73)))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2951 -> 2960[label="",style="solid", color="black", weight=3];
2911[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2911 -> 2918[label="",style="solid", color="black", weight=3];
2958[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz71)))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz71)))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2958 -> 2967[label="",style="solid", color="black", weight=3];
2959[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ Zero))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ Zero))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2959 -> 2968[label="",style="solid", color="black", weight=3];
2912[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2912 -> 2919[label="",style="solid", color="black", weight=3];
2983[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz420)) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz420)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2983 -> 2992[label="",style="solid", color="black", weight=3];
2984[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2984 -> 2993[label="",style="solid", color="black", weight=3];
2990[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ vuz560))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ vuz560))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2990 -> 2999[label="",style="solid", color="black", weight=3];
2991[label="Integer (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];2934[label="vuz75 `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="burlywood",shape="triangle"];3199[label="vuz75/Integer vuz750",fontsize=10,color="white",style="solid",shape="box"];2934 -> 3199[label="",style="solid", color="burlywood", weight=9];
3199 -> 2944[label="",style="solid", color="burlywood", weight=3];
2960[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz73)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz73)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2960 -> 2969[label="",style="solid", color="black", weight=3];
2918[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2918 -> 2925[label="",style="solid", color="black", weight=3];
2967[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz71)))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz71)))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2967 -> 2976[label="",style="solid", color="black", weight=3];
2968[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ Zero))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ Zero))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2968 -> 2977[label="",style="solid", color="black", weight=3];
2919[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2919 -> 2926[label="",style="solid", color="black", weight=3];
2992[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz420)) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz420)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2992 -> 3000[label="",style="solid", color="black", weight=3];
2993[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos Zero) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2993 -> 3001[label="",style="solid", color="black", weight=3];
2999[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ vuz560))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ vuz560))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2999 -> 3007[label="",style="solid", color="black", weight=3];
2944[label="Integer vuz750 `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2944 -> 2953[label="",style="solid", color="black", weight=3];
2969[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (Pos (Succ (Succ vuz73))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ (Succ vuz73))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2969 -> 2978[label="",style="solid", color="black", weight=3];
2925[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2925 -> 2933[label="",style="solid", color="black", weight=3];
2976[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz71)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz71)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2976 -> 2985[label="",style="solid", color="black", weight=3];
2977[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2977 -> 2986[label="",style="solid", color="black", weight=3];
2926 -> 2934[label="",style="dashed", color="red", weight=0];
2926[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="magenta"];2926 -> 2935[label="",style="dashed", color="magenta", weight=3];
3000[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz420)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz420)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];3000 -> 3008[label="",style="solid", color="black", weight=3];
3001[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="triangle"];3001 -> 3009[label="",style="solid", color="black", weight=3];
3007[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz560))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz560))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3007 -> 3015[label="",style="solid", color="black", weight=3];
2953[label="Integer vuz750 `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2953 -> 2962[label="",style="solid", color="black", weight=3];
2978[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2978 -> 2987[label="",style="solid", color="black", weight=3];
2933[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2933 -> 2943[label="",style="solid", color="black", weight=3];
2985[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2985 -> 2994[label="",style="solid", color="black", weight=3];
2986[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2986 -> 2995[label="",style="solid", color="black", weight=3];
2935[label="Integer (Neg Zero)",fontsize=16,color="green",shape="box"];3008[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz420) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz420) (Succ Zero))))",fontsize=16,color="black",shape="triangle"];3008 -> 3016[label="",style="solid", color="black", weight=3];
3009[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3009 -> 3017[label="",style="solid", color="black", weight=3];
3015[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz560))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz560))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3015 -> 3024[label="",style="solid", color="black", weight=3];
2962[label="Integer vuz750 `quot` gcd0Gcd'1 (primEqInt (primRemInt (Neg Zero) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2962 -> 2971[label="",style="solid", color="black", weight=3];
2987[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2987 -> 2996[label="",style="solid", color="black", weight=3];
2943[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos Zero) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2943 -> 2952[label="",style="solid", color="black", weight=3];
2994[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ (Succ vuz71)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2994 -> 3002[label="",style="solid", color="black", weight=3];
2995[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2995 -> 3003[label="",style="solid", color="black", weight=3];
3016[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz420 Zero (primGEqNatS vuz420 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz420 Zero (primGEqNatS vuz420 Zero))))",fontsize=16,color="burlywood",shape="box"];3201[label="vuz420/Succ vuz4200",fontsize=10,color="white",style="solid",shape="box"];3016 -> 3201[label="",style="solid", color="burlywood", weight=9];
3201 -> 3025[label="",style="solid", color="burlywood", weight=3];
3202[label="vuz420/Zero",fontsize=10,color="white",style="solid",shape="box"];3016 -> 3202[label="",style="solid", color="burlywood", weight=9];
3202 -> 3026[label="",style="solid", color="burlywood", weight=3];
3017[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3017 -> 3027[label="",style="solid", color="black", weight=3];
3024[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ vuz560))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz560))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3024 -> 3033[label="",style="solid", color="black", weight=3];
2971[label="Integer vuz750 `quot` gcd0Gcd'1 (primEqInt (Neg (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];2971 -> 2980[label="",style="solid", color="black", weight=3];
2996[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2996 -> 3004[label="",style="solid", color="black", weight=3];
2952[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];2952 -> 2961[label="",style="solid", color="black", weight=3];
3002[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz71)))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz71)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3002 -> 3010[label="",style="solid", color="black", weight=3];
3003[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3003 -> 3011[label="",style="solid", color="black", weight=3];
3025[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4200) Zero (primGEqNatS (Succ vuz4200) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4200) Zero (primGEqNatS (Succ vuz4200) Zero))))",fontsize=16,color="black",shape="box"];3025 -> 3034[label="",style="solid", color="black", weight=3];
3026[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];3026 -> 3035[label="",style="solid", color="black", weight=3];
3027 -> 2998[label="",style="dashed", color="red", weight=0];
3027[label="Integer (Pos (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];3027 -> 3036[label="",style="dashed", color="magenta", weight=3];
3033 -> 3000[label="",style="dashed", color="red", weight=0];
3033[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz560)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz560)) (Pos (Succ Zero))))",fontsize=16,color="magenta"];3033 -> 3042[label="",style="dashed", color="magenta", weight=3];
2980[label="Integer vuz750 `quot` gcd0Gcd'1 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];2980 -> 2989[label="",style="solid", color="black", weight=3];
3004[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz73)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz73)) (Succ Zero))))",fontsize=16,color="black",shape="box"];3004 -> 3012[label="",style="solid", color="black", weight=3];
2961[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];2961 -> 2970[label="",style="solid", color="black", weight=3];
3010[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz71)))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz71)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3010 -> 3018[label="",style="solid", color="black", weight=3];
3011[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3011 -> 3019[label="",style="solid", color="black", weight=3];
3034[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4200) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4200) Zero True)))",fontsize=16,color="black",shape="box"];3034 -> 3043[label="",style="solid", color="black", weight=3];
3035[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];3035 -> 3044[label="",style="solid", color="black", weight=3];
3036[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];2998[label="Integer vuz750 `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2998 -> 3006[label="",style="solid", color="black", weight=3];
3042[label="vuz560",fontsize=16,color="green",shape="box"];2989[label="Integer vuz750 `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];2989 -> 2998[label="",style="solid", color="black", weight=3];
3012[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz73) Zero (primGEqNatS (Succ vuz73) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz73) Zero (primGEqNatS (Succ vuz73) Zero))))",fontsize=16,color="black",shape="box"];3012 -> 3020[label="",style="solid", color="black", weight=3];
2970[label="Integer (Pos Zero) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];2970 -> 2979[label="",style="solid", color="black", weight=3];
3018[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ (Succ vuz71)))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz71)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3018 -> 3028[label="",style="solid", color="black", weight=3];
3019[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ Zero)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3019 -> 3029[label="",style="solid", color="black", weight=3];
3043[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz4200) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz4200) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];3043 -> 3051[label="",style="solid", color="black", weight=3];
3044[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];3044 -> 3052[label="",style="solid", color="black", weight=3];
3006[label="Integer (primQuotInt vuz750 (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];3006 -> 3014[label="",style="dashed", color="green", weight=3];
3020[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz73) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz73) Zero True)))",fontsize=16,color="black",shape="triangle"];3020 -> 3030[label="",style="solid", color="black", weight=3];
2979[label="Integer (Pos Zero) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2979 -> 2988[label="",style="solid", color="black", weight=3];
3028[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz71))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz71))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3028 -> 3037[label="",style="solid", color="black", weight=3];
3029[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];3029 -> 3038[label="",style="solid", color="black", weight=3];
3051 -> 3008[label="",style="dashed", color="red", weight=0];
3051[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz4200) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz4200) (Succ Zero))))",fontsize=16,color="magenta"];3051 -> 3059[label="",style="dashed", color="magenta", weight=3];
3052 -> 3001[label="",style="dashed", color="red", weight=0];
3052[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="magenta"];3014[label="primQuotInt vuz750 (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];3207[label="vuz750/Pos vuz7500",fontsize=10,color="white",style="solid",shape="box"];3014 -> 3207[label="",style="solid", color="burlywood", weight=9];
3207 -> 3022[label="",style="solid", color="burlywood", weight=3];
3208[label="vuz750/Neg vuz7500",fontsize=10,color="white",style="solid",shape="box"];3014 -> 3208[label="",style="solid", color="burlywood", weight=9];
3208 -> 3023[label="",style="solid", color="burlywood", weight=3];
3030[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz73) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz73) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];3030 -> 3039[label="",style="solid", color="black", weight=3];
2988[label="Integer (primQuotInt (Pos Zero) (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];2988 -> 2997[label="",style="dashed", color="green", weight=3];
3037 -> 3094[label="",style="dashed", color="red", weight=0];
3037[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz71)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz71)) (Succ Zero))))",fontsize=16,color="magenta"];3037 -> 3095[label="",style="dashed", color="magenta", weight=3];
3037 -> 3096[label="",style="dashed", color="magenta", weight=3];
3038[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];3038 -> 3046[label="",style="solid", color="black", weight=3];
3059[label="vuz4200",fontsize=16,color="green",shape="box"];3022[label="primQuotInt (Pos vuz7500) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];3022 -> 3031[label="",style="solid", color="black", weight=3];
3023[label="primQuotInt (Neg vuz7500) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];3023 -> 3032[label="",style="solid", color="black", weight=3];
3039[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz73) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz73) (Succ Zero))))",fontsize=16,color="black",shape="box"];3039 -> 3047[label="",style="solid", color="black", weight=3];
2997[label="primQuotInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2997 -> 3005[label="",style="solid", color="black", weight=3];
3095[label="Succ (Succ vuz71)",fontsize=16,color="green",shape="box"];3096[label="Succ (Succ vuz71)",fontsize=16,color="green",shape="box"];3094[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS vuz77 (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz76 (Succ Zero))))",fontsize=16,color="burlywood",shape="triangle"];3210[label="vuz77/Succ vuz770",fontsize=10,color="white",style="solid",shape="box"];3094 -> 3210[label="",style="solid", color="burlywood", weight=9];
3210 -> 3103[label="",style="solid", color="burlywood", weight=3];
3211[label="vuz77/Zero",fontsize=10,color="white",style="solid",shape="box"];3094 -> 3211[label="",style="solid", color="burlywood", weight=9];
3211 -> 3104[label="",style="solid", color="burlywood", weight=3];
3046[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];3046 -> 3054[label="",style="solid", color="black", weight=3];
3031[label="Pos (primDivNatS vuz7500 (Succ Zero))",fontsize=16,color="green",shape="box"];3031 -> 3040[label="",style="dashed", color="green", weight=3];
3032[label="Neg (primDivNatS vuz7500 (Succ Zero))",fontsize=16,color="green",shape="box"];3032 -> 3041[label="",style="dashed", color="green", weight=3];
3047[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz73 Zero (primGEqNatS vuz73 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz73 Zero (primGEqNatS vuz73 Zero))))",fontsize=16,color="burlywood",shape="box"];3212[label="vuz73/Succ vuz730",fontsize=10,color="white",style="solid",shape="box"];3047 -> 3212[label="",style="solid", color="burlywood", weight=9];
3212 -> 3055[label="",style="solid", color="burlywood", weight=3];
3213[label="vuz73/Zero",fontsize=10,color="white",style="solid",shape="box"];3047 -> 3213[label="",style="solid", color="burlywood", weight=9];
3213 -> 3056[label="",style="solid", color="burlywood", weight=3];
3005[label="Pos (primDivNatS Zero (Succ Zero))",fontsize=16,color="green",shape="box"];3005 -> 3013[label="",style="dashed", color="green", weight=3];
3103[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz770) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz76 (Succ Zero))))",fontsize=16,color="black",shape="box"];3103 -> 3106[label="",style="solid", color="black", weight=3];
3104[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz76 (Succ Zero))))",fontsize=16,color="black",shape="box"];3104 -> 3107[label="",style="solid", color="black", weight=3];
3054[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];3054 -> 3061[label="",style="solid", color="black", weight=3];
3040[label="primDivNatS vuz7500 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];3214[label="vuz7500/Succ vuz75000",fontsize=10,color="white",style="solid",shape="box"];3040 -> 3214[label="",style="solid", color="burlywood", weight=9];
3214 -> 3048[label="",style="solid", color="burlywood", weight=3];
3215[label="vuz7500/Zero",fontsize=10,color="white",style="solid",shape="box"];3040 -> 3215[label="",style="solid", color="burlywood", weight=9];
3215 -> 3049[label="",style="solid", color="burlywood", weight=3];
3041 -> 3040[label="",style="dashed", color="red", weight=0];
3041[label="primDivNatS vuz7500 (Succ Zero)",fontsize=16,color="magenta"];3041 -> 3050[label="",style="dashed", color="magenta", weight=3];
3055[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz730) Zero (primGEqNatS (Succ vuz730) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz730) Zero (primGEqNatS (Succ vuz730) Zero))))",fontsize=16,color="black",shape="box"];3055 -> 3062[label="",style="solid", color="black", weight=3];
3056[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];3056 -> 3063[label="",style="solid", color="black", weight=3];
3013[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];3013 -> 3021[label="",style="solid", color="black", weight=3];
3106[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz770 Zero (primGEqNatS vuz770 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz770 Zero (primGEqNatS vuz770 Zero))))",fontsize=16,color="burlywood",shape="box"];3217[label="vuz770/Succ vuz7700",fontsize=10,color="white",style="solid",shape="box"];3106 -> 3217[label="",style="solid", color="burlywood", weight=9];
3217 -> 3108[label="",style="solid", color="burlywood", weight=3];
3218[label="vuz770/Zero",fontsize=10,color="white",style="solid",shape="box"];3106 -> 3218[label="",style="solid", color="burlywood", weight=9];
3218 -> 3109[label="",style="solid", color="burlywood", weight=3];
3107[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3107 -> 3110[label="",style="solid", color="black", weight=3];
3061[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];3061 -> 3067[label="",style="solid", color="black", weight=3];
3048[label="primDivNatS (Succ vuz75000) (Succ Zero)",fontsize=16,color="black",shape="box"];3048 -> 3057[label="",style="solid", color="black", weight=3];
3049[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];3049 -> 3058[label="",style="solid", color="black", weight=3];
3050[label="vuz7500",fontsize=16,color="green",shape="box"];3062 -> 3020[label="",style="dashed", color="red", weight=0];
3062[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz730) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz730) Zero True)))",fontsize=16,color="magenta"];3062 -> 3068[label="",style="dashed", color="magenta", weight=3];
3063[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];3063 -> 3069[label="",style="solid", color="black", weight=3];
3021[label="Zero",fontsize=16,color="green",shape="box"];3108[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz7700) Zero (primGEqNatS (Succ vuz7700) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz7700) Zero (primGEqNatS (Succ vuz7700) Zero))))",fontsize=16,color="black",shape="box"];3108 -> 3111[label="",style="solid", color="black", weight=3];
3109[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];3109 -> 3112[label="",style="solid", color="black", weight=3];
3110[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3110 -> 3113[label="",style="solid", color="black", weight=3];
3067[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3067 -> 3073[label="",style="solid", color="black", weight=3];
3057[label="primDivNatS0 vuz75000 Zero (primGEqNatS vuz75000 Zero)",fontsize=16,color="burlywood",shape="box"];3220[label="vuz75000/Succ vuz750000",fontsize=10,color="white",style="solid",shape="box"];3057 -> 3220[label="",style="solid", color="burlywood", weight=9];
3220 -> 3064[label="",style="solid", color="burlywood", weight=3];
3221[label="vuz75000/Zero",fontsize=10,color="white",style="solid",shape="box"];3057 -> 3221[label="",style="solid", color="burlywood", weight=9];
3221 -> 3065[label="",style="solid", color="burlywood", weight=3];
3058[label="Zero",fontsize=16,color="green",shape="box"];3068[label="vuz730",fontsize=16,color="green",shape="box"];3069[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];3069 -> 3074[label="",style="solid", color="black", weight=3];
3111[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz7700) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz7700) Zero True)))",fontsize=16,color="black",shape="box"];3111 -> 3114[label="",style="solid", color="black", weight=3];
3112[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];3112 -> 3115[label="",style="solid", color="black", weight=3];
3113 -> 2998[label="",style="dashed", color="red", weight=0];
3113[label="Integer (Neg (Succ (Succ vuz70))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];3113 -> 3116[label="",style="dashed", color="magenta", weight=3];
3073[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3073 -> 3079[label="",style="solid", color="black", weight=3];
3064[label="primDivNatS0 (Succ vuz750000) Zero (primGEqNatS (Succ vuz750000) Zero)",fontsize=16,color="black",shape="box"];3064 -> 3070[label="",style="solid", color="black", weight=3];
3065[label="primDivNatS0 Zero Zero (primGEqNatS Zero Zero)",fontsize=16,color="black",shape="box"];3065 -> 3071[label="",style="solid", color="black", weight=3];
3074[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];3074 -> 3080[label="",style="solid", color="black", weight=3];
3114 -> 3094[label="",style="dashed", color="red", weight=0];
3114[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz7700) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz7700) Zero) (Succ Zero))))",fontsize=16,color="magenta"];3114 -> 3117[label="",style="dashed", color="magenta", weight=3];
3114 -> 3118[label="",style="dashed", color="magenta", weight=3];
3115 -> 3094[label="",style="dashed", color="red", weight=0];
3115[label="Integer (Neg (Succ (Succ vuz70))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="magenta"];3115 -> 3119[label="",style="dashed", color="magenta", weight=3];
3115 -> 3120[label="",style="dashed", color="magenta", weight=3];
3116[label="Neg (Succ (Succ vuz70))",fontsize=16,color="green",shape="box"];3079 -> 2998[label="",style="dashed", color="red", weight=0];
3079[label="Integer (Neg (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];3079 -> 3085[label="",style="dashed", color="magenta", weight=3];
3070[label="primDivNatS0 (Succ vuz750000) Zero True",fontsize=16,color="black",shape="box"];3070 -> 3075[label="",style="solid", color="black", weight=3];
3071[label="primDivNatS0 Zero Zero True",fontsize=16,color="black",shape="box"];3071 -> 3076[label="",style="solid", color="black", weight=3];
3080[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3080 -> 3086[label="",style="solid", color="black", weight=3];
3117 -> 3087[label="",style="dashed", color="red", weight=0];
3117[label="primMinusNatS (Succ vuz7700) Zero",fontsize=16,color="magenta"];3117 -> 3121[label="",style="dashed", color="magenta", weight=3];
3118 -> 3087[label="",style="dashed", color="red", weight=0];
3118[label="primMinusNatS (Succ vuz7700) Zero",fontsize=16,color="magenta"];3118 -> 3122[label="",style="dashed", color="magenta", weight=3];
3119 -> 3088[label="",style="dashed", color="red", weight=0];
3119[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];3120 -> 3088[label="",style="dashed", color="red", weight=0];
3120[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];3085[label="Neg (Succ Zero)",fontsize=16,color="green",shape="box"];3075[label="Succ (primDivNatS (primMinusNatS (Succ vuz750000) Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];3075 -> 3081[label="",style="dashed", color="green", weight=3];
3076[label="Succ (primDivNatS (primMinusNatS Zero Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];3076 -> 3082[label="",style="dashed", color="green", weight=3];
3086[label="Integer (Pos (Succ (Succ vuz72))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3086 -> 3091[label="",style="solid", color="black", weight=3];
3121[label="vuz7700",fontsize=16,color="green",shape="box"];3087[label="primMinusNatS (Succ vuz750000) Zero",fontsize=16,color="black",shape="triangle"];3087 -> 3092[label="",style="solid", color="black", weight=3];
3122[label="vuz7700",fontsize=16,color="green",shape="box"];3088[label="primMinusNatS Zero Zero",fontsize=16,color="black",shape="triangle"];3088 -> 3093[label="",style="solid", color="black", weight=3];
3081 -> 3040[label="",style="dashed", color="red", weight=0];
3081[label="primDivNatS (primMinusNatS (Succ vuz750000) Zero) (Succ Zero)",fontsize=16,color="magenta"];3081 -> 3087[label="",style="dashed", color="magenta", weight=3];
3082 -> 3040[label="",style="dashed", color="red", weight=0];
3082[label="primDivNatS (primMinusNatS Zero Zero) (Succ Zero)",fontsize=16,color="magenta"];3082 -> 3088[label="",style="dashed", color="magenta", weight=3];
3091 -> 2998[label="",style="dashed", color="red", weight=0];
3091[label="Integer (Pos (Succ (Succ vuz72))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];3091 -> 3105[label="",style="dashed", color="magenta", weight=3];
3092[label="Succ vuz750000",fontsize=16,color="green",shape="box"];3093[label="Zero",fontsize=16,color="green",shape="box"];3105[label="Pos (Succ (Succ vuz72))",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                            ↳ QDPSizeChangeProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(vuz3000)) → new_primMulNat(vuz3000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(vuz3000)) → new_primMulNat(vuz3000)
The graph contains the following edges 1 > 1

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primDivNatS(Succ(Zero)) → new_primDivNatS(new_primMinusNatS0)
new_primDivNatS(Succ(Succ(vuz750000))) → new_primDivNatS(new_primMinusNatS(vuz750000))

The TRS R consists of the following rules:

new_primMinusNatS0 → Zero
new_primMinusNatS(vuz750000) → Succ(vuz750000)

The set Q consists of the following terms:

new_primMinusNatS(x0)
new_primMinusNatS0

We have to consider all minimal (P,Q,R)-chains.
The approximation of the Dependency Graph [15,17,22] contains 1 SCC with 1 less node.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primDivNatS(Succ(Succ(vuz750000))) → new_primDivNatS(new_primMinusNatS(vuz750000))

The TRS R consists of the following rules:

new_primMinusNatS0 → Zero
new_primMinusNatS(vuz750000) → Succ(vuz750000)

The set Q consists of the following terms:

new_primMinusNatS(x0)
new_primMinusNatS0

We have to consider all minimal (P,Q,R)-chains.
As all Q-normal forms are R-normal forms we are in the innermost case. Hence, by the usable rules processor [15] we can delete all non-usable rules [17] from R.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primDivNatS(Succ(Succ(vuz750000))) → new_primDivNatS(new_primMinusNatS(vuz750000))

The TRS R consists of the following rules:

new_primMinusNatS(vuz750000) → Succ(vuz750000)

The set Q consists of the following terms:

new_primMinusNatS(x0)
new_primMinusNatS0

We have to consider all minimal (P,Q,R)-chains.
We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.

new_primMinusNatS0

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                                      ↳ QDP

                                        ↳ RuleRemovalProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primDivNatS(Succ(Succ(vuz750000))) → new_primDivNatS(new_primMinusNatS(vuz750000))

The TRS R consists of the following rules:

new_primMinusNatS(vuz750000) → Succ(vuz750000)

The set Q consists of the following terms:

new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
By using the rule removal processor [15] with the following polynomial ordering [25], at least one Dependency Pair or term rewrite system rule of this QDP problem can be strictly oriented.
Strictly oriented dependency pairs:

new_primDivNatS(Succ(Succ(vuz750000))) → new_primDivNatS(new_primMinusNatS(vuz750000))

Strictly oriented rules of the TRS R:

new_primMinusNatS(vuz750000) → Succ(vuz750000)

Used ordering: POLO with Polynomial interpretation [25]:

POL(Succ(x₁)) = 1 + 2·x₁
POL(new_primDivNatS(x₁)) = x₁
POL(new_primMinusNatS(x₁)) = 2 + 2·x₁

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                                      ↳ QDP

                                        ↳ RuleRemovalProof

                                          ↳ QDP

                                            ↳ PisEmptyProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
P is empty.
R is empty.
The set Q consists of the following terms:

new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
The TRS P is empty. Hence, there is no (P,Q,R) chain.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot(vuz70, Succ(Zero), vuz76) → new_quot(vuz70, new_primMinusNatS0, new_primMinusNatS0)
new_quot(vuz70, Succ(Succ(vuz7700)), vuz76) → new_quot(vuz70, new_primMinusNatS(vuz7700), new_primMinusNatS(vuz7700))

The TRS R consists of the following rules:

new_primMinusNatS0 → Zero
new_primMinusNatS(vuz750000) → Succ(vuz750000)

The set Q consists of the following terms:

new_primMinusNatS(x0)
new_primMinusNatS0

We have to consider all minimal (P,Q,R)-chains.
The approximation of the Dependency Graph [15,17,22] contains 1 SCC with 1 less node.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot(vuz70, Succ(Succ(vuz7700)), vuz76) → new_quot(vuz70, new_primMinusNatS(vuz7700), new_primMinusNatS(vuz7700))

The TRS R consists of the following rules:

new_primMinusNatS0 → Zero
new_primMinusNatS(vuz750000) → Succ(vuz750000)

The set Q consists of the following terms:

new_primMinusNatS(x0)
new_primMinusNatS0

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot(vuz70, Succ(Succ(vuz7700)), vuz76) → new_quot(vuz70, new_primMinusNatS(vuz7700), new_primMinusNatS(vuz7700))

The TRS R consists of the following rules:

new_primMinusNatS(vuz750000) → Succ(vuz750000)

The set Q consists of the following terms:

new_primMinusNatS(x0)
new_primMinusNatS0

We have to consider all minimal (P,Q,R)-chains.
We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.

new_primMinusNatS0

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                                      ↳ QDP

                                        ↳ RuleRemovalProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot(vuz70, Succ(Succ(vuz7700)), vuz76) → new_quot(vuz70, new_primMinusNatS(vuz7700), new_primMinusNatS(vuz7700))

The TRS R consists of the following rules:

new_primMinusNatS(vuz750000) → Succ(vuz750000)

The set Q consists of the following terms:

new_primMinusNatS(x0)

new_quot(vuz70, Succ(Succ(vuz7700)), vuz76) → new_quot(vuz70, new_primMinusNatS(vuz7700), new_primMinusNatS(vuz7700))

Used ordering: POLO with Polynomial interpretation [25]:

POL(Succ(x₁)) = 1 + 2·x₁
POL(new_primMinusNatS(x₁)) = 1 + 2·x₁
POL(new_quot(x₁, x₂, x₃)) = x₁ + x₂ + x₃

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                                      ↳ QDP

                                        ↳ RuleRemovalProof

                                          ↳ QDP

                                            ↳ PisEmptyProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
P is empty.
The TRS R consists of the following rules:

new_primMinusNatS(vuz750000) → Succ(vuz750000)

The set Q consists of the following terms:

new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
The TRS P is empty. Hence, there is no (P,Q,R) chain.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ QDPSizeChangeProof

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot0(Succ(vuz4200)) → new_quot0(vuz4200)

From the DPs we obtained the following set of size-change graphs:

new_quot0(Succ(vuz4200)) → new_quot0(vuz4200)
The graph contains the following edges 1 > 1

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_quot1(vuz72, Succ(vuz730)) → new_quot1(vuz72, vuz730)

From the DPs we obtained the following set of size-change graphs:

new_quot1(vuz72, Succ(vuz730)) → new_quot1(vuz72, vuz730)
The graph contains the following edges 1 >= 1, 2 > 2

primDivNatS0	x y True	= Succ (primDivNatS (primMinusNatS x y) (Succ y))
primDivNatS0	x y False	= Zero

primModNatS0	x y True	= primModNatS (primMinusNatS x y) (Succ y)
primModNatS0	x y False	= Succ x

gcd2	True yz zu	= gcd1 (zu == 0) yz zu
gcd2	zy zz vuu	= gcd0 zz vuu

signumReal2	x True	= 0
signumReal2	x False	= signumReal1 x (x > 0)

signumReal1	x True	= 1
signumReal1	x False	= signumReal0 x otherwise

reduce2Reduce1	vux vuy x y True	= error []
reduce2Reduce1	vux vuy x y False	= reduce2Reduce0 vux vuy x y otherwise

gcd0Gcd'2	x xz	= gcd0Gcd'1 (xz == 0) x xz
gcd0Gcd'2	yx yy	= gcd0Gcd'0 yx yy